翻訳と辞書 Words near each other ・ Prototype (Experimental Products album) ・ Prototype (George Lopez) ・ Prototype (series) ・ Prototype (Spin City) ・ Prototype (video game) ・ Prototype (Viktoria Modesta song) ・ Prototype 180 ・ Prototype 2 ・ Prototype 909 ・ Prototype Fast Breeder Reactor ・ Prototype filter ・ Prototype JavaScript Framework ・ Prototype pattern ・ Prototype theory ・ Prototype This! ・ Prototype Verification System ・ Prototype-based programming ・ Prototype-matching ・ Prototypes (band) ・ Prototypes and Painkillers ・ Prototyphis ・ Prototyphis angasi ・ Prototyphis eos ・ Prototyphis gracilis ・ Protounguicularia ・ Protousnea ・ Protovestiarios ・ Protowenella ・ Protowo ・ Protoxerini Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Prototype Verification System ： ウィキペディア英語版 Prototype Verification System The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California. PVS is based on a kernel consisting of an extension of Church's theory of types with dependent types, and is fundamentally a classical typed higher-order logic. The base types include uninterpreted types that may be introduced by the user, and built-in types such as the booleans, integers, reals, and the ordinals. Type-constructors include functions, sets, tuples, records, enumerations, and abstract data types. Predicate subtypes and dependent types can be used to introduce constraints; these constrained types may incur proof obligations (called type-correctness conditions or TCCs) during typechecking. PVS specifications are organized into parameterized theories. The system is implemented in Common Lisp, and is released under the GNU General Public License (GPL). ==See also== *Formal methods 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Prototype Verification System」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.